#include<io.h>


int sys_write_console(char *buffer,int size)
{
	int i = 0;
	for (i= 0; i < size; i++)
	{
		printc(buffer[i]);
	}
	return i;
}
